Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI
نویسنده
چکیده
HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau recherche, publiés ou non, ´ emanant desétablissements d'enseignement et de recherche français oú etrangers, des laboratoires publics ou privés.
منابع مشابه
On the Use of Advanced Logic Programming Languages in Computational Linguistics Solange Coupet-grimal Et Olivier Ridoux
Computational Linguistics and Logic Programming have strong connections, but the former uses concepts that are absent from the most familiar implementations of the latter. We advocate that a Logic Programming language needs not feature the Computational Linguistics concepts exactly, it must only provide a logical way of dealing with them. We focus on the manipulation of higher-order terms and t...
متن کاملTraduction de spécifications de contraintes d’architecture en composants exécutables
Les contraintes d’architecture sont des spécifications définies par les développeurs dans la phase de conception, qui permettent de vérifier, après une évolution de l’architecture, si sa description est encore conforme aux conditions imposées par un patron ou un style architectural. Ces spécifications peuvent être exprimées avec un langage standardisé comme OCL (Object Constraint Language). Afi...
متن کاملDeriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing
We consider speciications of analysers expressed as compositions of two functions: a semantic function, which returns a natural semantics derivation tree, and a property deened by recurrence on derivation trees. A recursive deenition of a dynamic analyser can be obtained by fold/unfold program transformation combined with deforestation. We apply our framework to the derivation of a slicing anal...
متن کاملProgram Extraction in a Logical Framework Setting
This paper demonstrates a method of extracting programs from formal deductions represented in the Edinburgh Logical Framework, using the Elf programming language. Deductive systems are given for the extraction of simple types from formulas of rst-order arithmetic and of-calculus terms from natural deduction proofs. These systems are easily encoded in Elf, yielding an implementation of extractio...
متن کاملAspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une i...
متن کامل